Jonathan P. Bowen (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods.
Early life and education
Bowen was born in
Oxford, the son of
Humphry Bowen,
and was educated at the
Dragon School,
Bryanston School, prior to his matriculation at University College, Oxford (Oxford University) where he received the MA degree in Engineering Science.
Career
Bowen later worked at Imperial College, London, the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science), the University of Reading, and London South Bank University. His main research was on
formal methods in general and the
Z notation in particular.
He was Chair of the Z User Group from the early 2000s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science.
From 2005, Bowen was an Associate Editor-in-Chief of the journal
Innovations in Systems and Software Engineering.
He was also an
associate editor on the
editorial board for the
ACM Computing Surveys journal, covering software engineering and
formal methods.
From 2008 to 2009, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the
Z notation.
Bowen's other major interest is the area of Virtual museum.
Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) in 2002 and of the British Computer Society (BCS) in 2004.
Selected books
Jonathan Bowen has written and edited a number of books, including:
-
Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. .
-
Michael Hinchey and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. .
-
Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. .
-
Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. .
-
Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. .
-
Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. .
-
Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. .
-
Boca, P.P., Bowen, J.P., and Jawed Siddiqi, editors, Formal Methods: State of the Art and New Directions. Springer, 2010. , e-, .
-
Bowen, J.P., Keene, S., and Ng, K., editors, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. .
-
Jack Copeland, Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide. Oxford University Press, 2017. (hardcover), (paperback).
-
Hinchey, M.G., Bowen, J.P., Olderog, E.-R., editors, Provably Correct Systems. Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. , .
-
Tula Giannini and Bowen, J.P., editors, . Springer Series on Cultural Computing, Springer, 2019. , e-, .
-
Giannini, T. and Bowen, J.P., editors, The Arts and Computational Culture: Real and Virtual Worlds. Springer Series on Cultural Computing, Springer, 2024. , e-,
External links
-
target="_blank" rel="nofollow"> Jonathan P. Bowen on Microsoft Academic
